x /\ y
